Free shipping on all orders! No minimum purchase required.
Formal Methods for Open Object-Based Distributed Systems
by Howard Bowman (Editor), John Derrick (Editor)